<html>
<head><meta charset="utf-8"><title>meeting 2019.07.11 · t-compiler/wg-meta · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/index.html">t-compiler/wg-meta</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html">meeting 2019.07.11</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="170657418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170657418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170657418">(Jul 11 2019 at 18:08)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1095">@T-compiler/WG-meta</span>  -- meet?</p>



<a name="170657425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170657425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170657425">(Jul 11 2019 at 18:08)</a>:</h4>
<p>Sorry, meeting running over</p>



<a name="170657944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170657944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170657944">(Jul 11 2019 at 18:14)</a>:</h4>
<p>So</p>



<a name="170657958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170657958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170657958">(Jul 11 2019 at 18:14)</a>:</h4>
<p>I read over minutes from last time</p>



<a name="170658028"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658028" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658028">(Jul 11 2019 at 18:15)</a>:</h4>
<p>I guess we can briefly go over pulls</p>



<a name="170658086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658086">(Jul 11 2019 at 18:16)</a>:</h4>
<p>or alternatively what we think we ought to be doing in this wg</p>



<a name="170658124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658124">(Jul 11 2019 at 18:16)</a>:</h4>
<p>esp. as I'm going to be away next 4 weeks or so -- it would be good I think to at least keep meetings going to merge minutes and other PRs :)</p>



<a name="170658160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658160">(Jul 11 2019 at 18:16)</a>:</h4>
<p>But let me ask this:</p>
<blockquote>
<p>Create static web page for the compiler team with hugo <a href="https://github.com/rust-lang/compiler-team/issues/103" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/103">compiler-team#103</a></p>
</blockquote>



<a name="170658169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658169">(Jul 11 2019 at 18:16)</a>:</h4>
<p>this looks like it's gotten a lot of work !</p>



<a name="170658195"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658195" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658195">(Jul 11 2019 at 18:17)</a>:</h4>
<p>I'm happy with it, I just wanted to get both you and <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> to take a quick look before merging.</p>



<a name="170658219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658219">(Jul 11 2019 at 18:17)</a>:</h4>
<p>I guess I will try it out locally</p>



<a name="170658280"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658280" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658280">(Jul 11 2019 at 18:18)</a>:</h4>
<p>unless, is there a lnk to see the finished repo?</p>



<a name="170658306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658306">(Jul 11 2019 at 18:18)</a>:</h4>
<p>I think there was one at some point, unsure if it is still up to date.</p>



<a name="170658378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658378">(Jul 11 2019 at 18:19)</a>:</h4>
<p>ok I'll build locally</p>



<a name="170658386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658386">(Jul 11 2019 at 18:19)</a>:</h4>
<p>the other question is what we need to do to integrate with gh pages</p>



<a name="170658389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658389">(Jul 11 2019 at 18:19)</a>:</h4>
<p>or is that all done?</p>



<a name="170658392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658392">(Jul 11 2019 at 18:19)</a>:</h4>
<p>anyway, I think we should merge asap :)</p>



<a name="170658415"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658415" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658415">(Jul 11 2019 at 18:19)</a>:</h4>
<p>I'm not sure on that front.</p>



<a name="170658420"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658420" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658420">(Jul 11 2019 at 18:20)</a>:</h4>
<p>I'll need to look at it again.</p>



<a name="170658471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658471">(Jul 11 2019 at 18:20)</a>:</h4>
<p>I guess I can make a PR with vacation schedules</p>



<a name="170658491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658491">(Jul 11 2019 at 18:20)</a>:</h4>
<p>anyway, what do people want to do over the next few weeks?</p>



<a name="170658539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658539">(Jul 11 2019 at 18:20)</a>:</h4>
<p>I think at some point it would be good to have a meeting and try to look over what we've done, look over some of the steering meeting discussions from the past, and kind of figure out what are the next big things to do.</p>



<a name="170658555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658555">(Jul 11 2019 at 18:21)</a>:</h4>
<p>I can review the PR</p>



<a name="170658560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658560">(Jul 11 2019 at 18:21)</a>:</h4>
<p>btw</p>



<a name="170658566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658566">(Jul 11 2019 at 18:21)</a>:</h4>
<blockquote>
<p>I think at some point it would be good to have a meeting and try to look over what we've done, look over some of the steering meeting discussions from the past, and kind of figure out what are the next big things to do.</p>
</blockquote>
<p>I agree.</p>



<a name="170658635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658635">(Jul 11 2019 at 18:21)</a>:</h4>
<p>shall we try to schedule such a meeting? Maybe in August?</p>



<a name="170658723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658723">(Jul 11 2019 at 18:22)</a>:</h4>
<p>Sounds good.</p>



<a name="170658731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658731">(Jul 11 2019 at 18:22)</a>:</h4>
<blockquote>
<p>I think at some point it would be good to have a meeting and try to look over what we've done, look over some of the steering meeting discussions from the past, and kind of figure out what are the next big things to do.</p>
</blockquote>
<p>yeah agree too</p>



<a name="170658740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658740">(Jul 11 2019 at 18:22)</a>:</h4>
<p>sounds good to me too</p>



<a name="170658765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658765">(Jul 11 2019 at 18:23)</a>:</h4>
<p>to deploy a Hugo site to github pages it's very simple</p>



<a name="170658772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658772">(Jul 11 2019 at 18:23)</a>:</h4>
<p>I just did that</p>



<a name="170658805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658805">(Jul 11 2019 at 18:23)</a>:</h4>
<p>so the week of Aug 12 I am back from vacation and not yet left for rustconf :)</p>



<a name="170658817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658817">(Jul 11 2019 at 18:23)</a>:</h4>
<p>you basically generate the html and all that, you get some stuff in public and push that to <a href="http://github.com/githubusername/githubusername.github.io" target="_blank" title="http://github.com/githubusername/githubusername.github.io">github.com/githubusername/githubusername.github.io</a></p>



<a name="170658827"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658827" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658827">(Jul 11 2019 at 18:24)</a>:</h4>
<p>and done</p>



<a name="170658890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658890">(Jul 11 2019 at 18:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> do you have sufficient privileges to setup the tokens and all that?</p>



<a name="170658892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658892">(Jul 11 2019 at 18:24)</a>:</h4>
<p>if not, can I give you them?</p>



<a name="170658897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658897">(Jul 11 2019 at 18:24)</a>:</h4>
<p>there's nothing I hate more than GH_TOKEN</p>



<a name="170658906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658906">(Jul 11 2019 at 18:24)</a>:</h4>
<p>:)</p>



<a name="170658935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658935">(Jul 11 2019 at 18:24)</a>:</h4>
<p>I guess deploy keys are the new hotness</p>



<a name="170658941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658941">(Jul 11 2019 at 18:24)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> do you have sufficient privileges to setup the tokens and all that?</p>
</blockquote>
<p>unsure</p>



<a name="170658972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658972">(Jul 11 2019 at 18:25)</a>:</h4>
<p>actually <span class="user-mention" data-user-id="121055">@Pietro Albini</span> I feel like maybe the infra team was able to help out with deploy keys?</p>



<a name="170658976"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658976" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658976">(Jul 11 2019 at 18:25)</a>:</h4>
<blockquote>
<p>you basically generate the html and all that, you get some stuff in public and push that to <a href="http://github.com/githubusername/githubusername.github.io" target="_blank" title="http://github.com/githubusername/githubusername.github.io">github.com/githubusername/githubusername.github.io</a></p>
</blockquote>
<p>That would be for <code>rust-lang.github.io</code> - that's not what we want, we want to push to the <code>gh-pages</code> branch of the compiler team repo, so we are at <code>rust-lang.github.io/compiler-team/</code></p>



<a name="170658979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170658979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170658979">(Jul 11 2019 at 18:25)</a>:</h4>
<p>under what user would this be? <code>rust-lang</code>?</p>



<a name="170659003"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659003" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659003">(Jul 11 2019 at 18:25)</a>:</h4>
<p>well, not the <em>user</em> but the <em>org</em></p>



<a name="170659024"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659024" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659024">(Jul 11 2019 at 18:25)</a>:</h4>
<p>yes org :)</p>



<a name="170659031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659031">(Jul 11 2019 at 18:26)</a>:</h4>
<p>anyway let's see what <span class="user-mention" data-user-id="121055">@Pietro Albini</span> says, I think there is some tooling for this</p>



<a name="170659074"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659074" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659074">(Jul 11 2019 at 18:26)</a>:</h4>
<blockquote>
<blockquote>
<p>you basically generate the html and all that, you get some stuff in public and push that to <a href="http://github.com/githubusername/githubusername.github.io" target="_blank" title="http://github.com/githubusername/githubusername.github.io">github.com/githubusername/githubusername.github.io</a></p>
</blockquote>
<p>That would be for <code>rust-lang.github.io</code> - that's not what we want, we want to push to the <code>gh-pages</code> branch of the compiler team repo, so we are at <code>rust-lang.github.io/compiler-team/</code></p>
</blockquote>
<p>yes in that case is different, agree</p>



<a name="170659075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659075">(Jul 11 2019 at 18:26)</a>:</h4>
<p>yeah, if it's in our orgs we can easily setup deploy keys</p>



<a name="170659085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659085">(Jul 11 2019 at 18:26)</a>:</h4>
<p>travis or azure?</p>



<a name="170659136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659136">(Jul 11 2019 at 18:27)</a>:</h4>
<p>(if it's just a blog travis will be fine)</p>



<a name="170659183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659183">(Jul 11 2019 at 18:27)</a>:</h4>
<p>travis will be fine I'm sure</p>



<a name="170659188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659188">(Jul 11 2019 at 18:27)</a>:</h4>
<p>it's not a <em>blog</em></p>



<a name="170659196"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659196" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659196">(Jul 11 2019 at 18:27)</a>:</h4>
<p>but it's infrequently updated</p>



<a name="170659204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659204">(Jul 11 2019 at 18:27)</a>:</h4>
<p>it's the compiler-team "homepage" so to speak</p>



<a name="170659219"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659219" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659219">(Jul 11 2019 at 18:27)</a>:</h4>
<p>yeah, even better</p>



<a name="170659228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659228">(Jul 11 2019 at 18:28)</a>:</h4>
<p>awesome!</p>



<a name="170659290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659290">(Jul 11 2019 at 18:28)</a>:</h4>
<p><span class="user-mention" data-user-id="121055">@Pietro Albini</span> so should we land the PR in question first (<a href="https://github.com/rust-lang/compiler-team/issues/103" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/103">compiler-team#103</a>)?</p>



<a name="170659312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659312">(Jul 11 2019 at 18:28)</a>:</h4>
<p>deploy key configured</p>



<a name="170659322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659322">(Jul 11 2019 at 18:28)</a>:</h4>
<blockquote>
<p>so the week of Aug 12 I am back from vacation and not yet left for rustconf :)</p>
</blockquote>
<p>as for this, maybe we can use the friday slot to do this on that week -- we'll have to re-establish the planning rhythm etc anyway but I can add it to the calendar for now</p>



<a name="170659371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659371">(Jul 11 2019 at 18:29)</a>:</h4>
<p>just add this in your <code>.travis.yml</code> and everything will work</p>
<div class="codehilite"><pre><span></span><span class="nt">env</span><span class="p">:</span>
  <span class="nt">RUSTINFRA_DEPLOY_DIR</span><span class="p">:</span> <span class="l l-Scalar l-Scalar-Plain">path/to/be/deployed</span>
<span class="nt">import</span><span class="p">:</span>
  <span class="p p-Indicator">-</span> <span class="l l-Scalar l-Scalar-Plain">rust-lang/simpleinfra/travis-configs/static-websites.yml</span>
</pre></div>



<a name="170659631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659631">(Jul 11 2019 at 18:32)</a>:</h4>
<p>what does <code>RUSTINFRA_DEPLOY_DIR</code> means exactly?</p>



<a name="170659797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659797">(Jul 11 2019 at 18:34)</a>:</h4>
<p>the path that will be uploaded to the github pages site</p>



<a name="170659817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659817">(Jul 11 2019 at 18:34)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="170659877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659877">(Jul 11 2019 at 18:35)</a>:</h4>
<p>that would be just compiler-team I guess</p>



<a name="170659915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659915">(Jul 11 2019 at 18:35)</a>:</h4>
<p>no, it's the hugo output directory</p>



<a name="170659983"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170659983" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170659983">(Jul 11 2019 at 18:36)</a>:</h4>
<p>ahh ok ok</p>



<a name="170660001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170660001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170660001">(Jul 11 2019 at 18:36)</a>:</h4>
<p>I wasn't sure if it was an src path or a dst path</p>



<a name="170660014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170660014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170660014">(Jul 11 2019 at 18:36)</a>:</h4>
<p>so <code>public</code> then</p>



<a name="170660038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170660038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Pietro Albini <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170660038">(Jul 11 2019 at 18:36)</a>:</h4>
<p>if that's the src directory yes!</p>



<a name="170660052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170660052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170660052">(Jul 11 2019 at 18:37)</a>:</h4>
<p>yep</p>



<a name="170660057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/185694-t-compiler/wg-meta/topic/meeting%202019.07.11/near/170660057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/185694-t-compiler/wg-meta/topic/meeting.202019.2E07.2E11.html#170660057">(Jul 11 2019 at 18:37)</a>:</h4>
<p>thanks</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>